منابع مشابه
A Proof Dedicated Meta-Language
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. Ltac is essentially a small functional core with recursors and powerful pattern-matching operators for Coq terms but also for proof contexts. As Ltac is not complete, we describe an interface between Ltac ...
متن کاملCompilation Principle of a Specification Language Dedicated to Signal Processing
Array-OL, developed by Thomson Marconi Sonar, is a programming language dedicated to signal processing. An Array-OL program specifies the dependencies between array elements produced and consumed by tasks. In particular, temporal dependencies may be specified by referencing elements that belong to an infinite dimension of an array. A basic compilation strategy of Array-OL on a workstation has b...
متن کاملTree-based Language Model dedicated to Natural Spoken Dialog systems
Within the framework of Natural Spoken Dialog systems, we propose in this paper a method which automatically builds, from a training corpus, a set of Language Models (LMs) organized as a binary tree and called a Tree-based LM (TLM). Each LM corresponds to a specific dialogue situation, where the general LM is attached to the root node and the leaves represent the more specialized ones. Such LMs...
متن کاملCorbascript: a Dedicated Corba Scripting Language 1
In this paper, we show our current work on CorbaScript: a new object-oriented scripting language dedicated to CORBA. It allows any user to develop their activities by simply, interactively and dynamically accessing objects available on the CORBA bus. Therefore the user is completely free to operate, administrate, conngure, connect, create and delete distributed objects on the CORBA bus. The Cor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Journal of Applied Language Studies and Culture
سال: 2020
ISSN: 2631-8954,2631-8946
DOI: 10.34301/alsc.v3i1.26